The proof - theoretic analysis of Σ 11 transfinite dependent choice ∗
نویسنده
چکیده
This article provides an ordinal analysis of Σ1 transfinite dependent choice.
منابع مشابه
Iterating Σ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo
In this article we study the theory KPi + (Σ-TR) which (i) describes a recursively inaccessible universe, (ii) permits the iteration of Σ operations along the ordinals, (iii) does not comprise ∈ induction, and (iv) restricts complete induction on the natural numbers to sets. It is shown that the proof-theoretic ordinal of KPi + (Σ-TR) is the metapredicative Mahlo ordinal φω00. Our system KPi + ...
متن کاملInvestigations of subsystems of second order arithmetic and set theory in strength between Π 11 - CA and ∆ 1 2 - CA + BI : Part I
This paper is the first of a series of two. It contains proof–theoretic investigations on subtheories of second order arithmetic and set theory. Among the principles on which these theories are based one finds autonomously iterated positive and monotone inductive definitions, Π1 transfinite recursion, ∆ 1 2 transfinite recursion, transfinitetely iterated Π 1 1 dependent choices, extended Bar ru...
متن کاملA Rapidly Convergent Nonlinear Transfinite Element Procedure for Transient Thermoelastic Analysis of Temperature-Dependent Functionally Graded Cylinders
In the present paper, the nonlinear transfinite element procedure recently published by the author is improved by introducing an enhanced convergence criterion to significantly reduce the computational run-times. It is known that transformation techniques have been developed mainly for linear systems, only. Due to using a huge number of time steps, employing the conventional time integration me...
متن کاملThe art of ordinal analysis
Ordinal analysis of theories is a core area of proof theory whose origins can be traced back to Hilbert’s programme – the aim of which was to lay to rest all worries about the foundations of mathematics once and for all by securing mathematics via an absolute proof of consistency. Ordinal-theoretic proof theory came into existence in 1936, springing forth from Gentzen’s head in the course of hi...
متن کاملTheories and Ordinals: Ordinal Analysis
How do ordinals measure the strength and computational power of formal theories and what information can be gleaned from this correlation? This will be the guiding question of this talk. The connection between ordinal representation systems and theories is established in ordinal analysis, a central area of proof theory. Ordinal-theoretic proof theory came into existence in 1936. Gentzen showed ...
متن کامل